﻿using System;
using System.Collections.Generic;
using System.Diagnostics.Contracts;
using System.Linq;
using System.Text;
using Adalbertus.BudgetPlanner.ViewModels.CodeContracts;

namespace Adalbertus.BudgetPlanner.ViewModels
{
    [ContractClass(typeof(IShellContract))]
    public interface IShell
    {
        //void ShowPage(string pageName);
    }
}
